putStr :: String -> IO ()